($\lambda$$g$,$n$,$e$,$z$. $n$ $\cdot$ $e$) $\in$ $g$:IMonoid$\rightarrow\mid$($<\mathbb{Z}$+$>\downarrow$hgrp)$\mid\rightarrow\mid$$g$$\mid\rightarrow$($\downarrow$True)$\rightarrow\mid$$g$$\mid$